Exact discretization of harmonic tensors

Furstenberg [7] and Lyons and Sullivan [14] have shown how to discretize harmonic functions on a Riemannian manifold M whose Brownian motion satisfies a certain recurrence property called ∗-recurrence. We study analogues of this discretization for tensor fields which are harmonic in the sense of the covariant Laplacian. We show that, under certain restrictions on the holonomy of the connection, the lifted diffusion on the orthnormal frame bundle has the same ∗-recurrence property as the original Brownian motion. This observation permits us to reduce to the discretization of ordinary harmonic functions by a device called scalarization.